Feeds to Scour
SubscribedAll
Scoured 24822 posts in 24.6 ms
ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning  ⏱️Interval Parsing
arxiv.org·4d
openmusic-project/openmusic: The OpenMusic visual programming / computer-aided composition environment  🎼Computational Musicology
github.com·2d·Hacker News
Show HN: Formal Verification with Lean  ⚔️Lean Tactics
daniellowengrub.com·5h·Hacker News
A new JavaScript test runner called Decaf  ⚔️Lean Tactics
djalbat.com·23h·Hacker News
Abstract Machines for Logic Programs  🔍Type Inference
chrisistyping.bearblog.dev·2d·Lobsters, Hacker News, r/programming
Context Menus for Elisp Development  📟CLI Design
irreal.org·2h
Mealy Machines, Moore Machines, and Why Event Sourcing Works  ✨Algebraic Effects
kevinwebber.ca·6d·Hacker News
The Capability-Tractability Tradeoff  🎯Performance Proofs
buttondown.com·2d
Technical Dimensions of Programming Systems  🛠Language Design
tomasp.net·2d·Hacker News
Autonomous Systems & Reasoning Research  ⚙️TLA+
cli.narelabs.com·4d·Hacker News
7 lines of code, 3 minutes: Implement a programming language (2010)  🔗Lisp
matt.might.net·1d·Hacker News, r/programming
GofChess — A Technical Dive into Formalization of Chess Tactics  🎯Proof Tactics
lichess.org·3d·Hacker News
Break the Loop, Part 3: When the Shape of the Answer Becomes the Program  🔗Concatenative Programming
hackernoon.com·1d
Interactive Cellular Automata  🔲Cellular Automata
simloops.com·1d·Hacker News
From Language to Logic: A Theoretical Architecture for VLM-Grounded Safe Navigation  📏Linear Logic
arxiv.org·5d
ECS Back and Forth (2019)  🧩WASM Components
skypjack.github.io·2d·Hacker News
Show HN: Statewright – Visual state machines that make AI agents reliable  ⚡Proof Automation
github.com·3h·Hacker News
Training an LLM in Swift, Part 1: Taking matrix multiplication from Gflop/s to Tflop/s  🔗Functional Compilers
cocoawithlove.com·2d·Lobsters, Hacker News
What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style  ✨Effect Handlers
link.springer.com·5d·Hacker News
Loops and Routines Without Claude  ⚔️Lean Tactics
ingresslabs.net·2d·Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help